Tiling with Squares and Packing Dominos in Polynomial Time
نویسندگان
چکیده
A polyomino is a polygonal region with axis-parallel edges and corners of integral coordinates, which may have holes. In this paper, we consider planar tiling packing problems pieces container P . We give polynomial-time algorithms for deciding if can be tiled k × squares any fixed part the input (that is, union set non-overlapping squares) maximum number 2 1 dominos, allowing rotations by 90°. As more general than tiling, latter algorithm also used to decide dominos. These are classical important applications in VLSI design, related problem finding known NP-hard [6]. For our three there pseudo-polynomial-time algorithms, that running times polynomial area or perimeter However, standard, compact way represent polygon listing coordinates binary. use representation, thus present first problems. Concretely, simple O ( n log )-time squares, where then involved reduces dominos perfect matching graph 3 ) vertices. This leads \(O({n^3 \frac{\log ^3 n}{\log ^2\log n} }) \) ^2 \log , respectively.
منابع مشابه
Tiling with L’s and Squares
We consider tilings of 2 × n, 3 × n, and 4 × n boards with 1 × 1 squares and Lshaped tiles covering an area of three square units, which can be used in four different orientations. For the 2 × n board, the recurrence relation for the number of tilings is of order three and, unlike most third order recurrence relations, can be solved exactly. For the 3 × n and 4 × n board, we develop an algorith...
متن کاملPacking, tiling, and covering with tetrahedra.
It is well known that three-dimensional Euclidean space cannot be tiled by regular tetrahedra. But how well can we do? In this work, we give several constructions that may answer the various senses of this question. In so doing, we provide some solutions to packing, tiling, and covering problems of tetrahedra. Our results suggest that the regular tetrahedron may not be able to pack as densely a...
متن کاملTiling with Squares and Square-tileable Surfaces
We introduce thèsquare tiling group' and use it to give necessary conditions on a planar polygon to be tileable with squares. We deene square tilings on Riemann surfaces, and compute the Euclidean structures on a torus which are square-tileable. We give necessary conditions on surfaces of higher genus to be tileable. A higher-dimensional version of the square-tiling group yields necessary condi...
متن کاملOn Packing Squares with Equal Squares
The following problem arises in connection with certain multidimensional stock cutting problems : How many nonoverlapping open unit squares may be packed into a large square of side a? Of course, if a is a positive integer, it is trivial to see that a2 unit squares can be successfully packed . However, if a is not an integer, the problem becomes much more complicated . Intuitively, one feels th...
متن کاملCounting Magic Squares in Quasi-polynomial Time
We present a randomized algorithm, which, given positive integers n and t and a real number 0 < < 1, computes the number |Σ(n, t)| of n× n non-negative integer matrices (magic squares) with the row and column sums equal to t within relative error . The computational complexity of the algorithm is polynomial in −1 and quasi-polynomial in N = nt, that is, of the order N log N . A simplified versi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Algorithms
سال: 2023
ISSN: ['1549-6333', '1549-6325']
DOI: https://doi.org/10.1145/3597932